"Jürgen Giesl" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

Jürgen Giesl, Reiner Hähnle

6.32 Mb

#2

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Категория: Компьютеры

5.29 Mb

#3

Term Rewriting and Applications, 16 conf., RTA 2005

Категория: Cs_Computer science, CsLn_Lecture notes

4.35 Mb